Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
Back and Forth Bisimulations
1990-01-01 De Nicola, R; Montanari, U; Vaandrager, F W
Behavioral theory for session-oriented calculi
2011-01-01 Ivan, Lanese; António, Ravara; MENDES TORRES VIEIRA, H
Binary and Multi-Class Parkinsonian Disorders Classification using Support Vector Machines
2015-01-01 Morisi, Rita; Gnecco, G; Lanconelli, N; Zanigni, S; Manners, D N; Testa, C; Evangelisti, S; Gramegna, L; Bianchini, C; Cortelli, P; Tonon, C; Lodi, R
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report)
2017-01-01 Barbi, R.; Buravlev, V.; Mezzina, C; Schiavoni, V
CCS is an (Augmented) Contact Free C/E System.144-165
1986-01-01 Degano, P; De Nicola, R; Montanari, U
CCS without tau's
1987-01-01 De Nicola, R; Hennessy, M
Communities Detection in Large Networks
2004-01-01 Andrea, Capocci; Vito D. P., Servedio; Caldarelli, G; Francesca, Colaiori
Conversation types
2009-01-01 Luís, Caires; MENDES TORRES VIEIRA, H
Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings.
2013-01-01 De Nicola, R; Julien, C.
Core Calculi for Service-Oriented Computing
2011-01-01 Caires, L; De Nicola, R; Pugliese, R; Vasconcelos, V T; Zavattaro, G
Design of Acoustic Metamaterials through Nonlinear Programming
2016-01-01 Gnecco, G; Lepidi, M; Gambarotta, L; Bacigalupo, A
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction
2014-01-01 De Nicola, R; Iacobelli, G; Tribastone, M
Distributed Generation and Resilience in Power Grids
2013-01-01 Scala, A; M., Mureddu M; Caldarelli, G; Chessa, A; Damiano, A
Distribution and Locality of Concurrent Systems
1994-01-01 Corradini, F; De Nicola, R
Dynamic SLAs for Clouds
2016-01-01 Rafael Brundo, Uriarte; Francesco, Tiezzi; De Nicola, R
Foreword
2013-01-01 De Nicola, R; Juiien, C
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016-01-01 Marco, Bernardo; De Nicola, R; Jane, Hillston:
Formalising Adaptation Patterns for Autonomic Ensembles
2013-01-01 Cesari, L; De Nicola, R; Pugliese, R; Puviani, M; Tiezzi, F; Zambonelli, F
Fully Abstract Models for Nondeterministic Regular Expressions
1995-01-01 Corradini, F; De Nicola, R; Labella, A
Global protocol implementations via attribute-based communication
2015-01-01 De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Back and Forth Bisimulations | 1-gen-1990 | De Nicola, R; Montanari, U; Vaandrager, F W | |
Behavioral theory for session-oriented calculi | 1-gen-2011 | Ivan, Lanese; António, Ravara; MENDES TORRES VIEIRA, H | |
Binary and Multi-Class Parkinsonian Disorders Classification using Support Vector Machines | 1-gen-2015 | Morisi, Rita; Gnecco, G; Lanconelli, N; Zanigni, S; Manners, D N; Testa, C; Evangelisti, S; Gramegna, L; Bianchini, C; Cortelli, P; Tonon, C; Lodi, R | |
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report) | 1-gen-2017 | Barbi, R.; Buravlev, V.; Mezzina, C; Schiavoni, V | |
CCS is an (Augmented) Contact Free C/E System.144-165 | 1-gen-1986 | Degano, P; De Nicola, R; Montanari, U | |
CCS without tau's | 1-gen-1987 | De Nicola, R; Hennessy, M | |
Communities Detection in Large Networks | 1-gen-2004 | Andrea, Capocci; Vito D. P., Servedio; Caldarelli, G; Francesca, Colaiori | |
Conversation types | 1-gen-2009 | Luís, Caires; MENDES TORRES VIEIRA, H | |
Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. | 1-gen-2013 | De Nicola, R; Julien, C. | |
Core Calculi for Service-Oriented Computing | 1-gen-2011 | Caires, L; De Nicola, R; Pugliese, R; Vasconcelos, V T; Zavattaro, G | |
Design of Acoustic Metamaterials through Nonlinear Programming | 1-gen-2016 | Gnecco, G; Lepidi, M; Gambarotta, L; Bacigalupo, A | |
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction | 1-gen-2014 | De Nicola, R; Iacobelli, G; Tribastone, M | |
Distributed Generation and Resilience in Power Grids | 1-gen-2013 | Scala, A; M., Mureddu M; Caldarelli, G; Chessa, A; Damiano, A | |
Distribution and Locality of Concurrent Systems | 1-gen-1994 | Corradini, F; De Nicola, R | |
Dynamic SLAs for Clouds | 1-gen-2016 | Rafael Brundo, Uriarte; Francesco, Tiezzi; De Nicola, R | |
Foreword | 1-gen-2013 | De Nicola, R; Juiien, C | |
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | 1-gen-2016 | Marco, Bernardo; De Nicola, R; Jane, Hillston: | |
Formalising Adaptation Patterns for Autonomic Ensembles | 1-gen-2013 | Cesari, L; De Nicola, R; Pugliese, R; Puviani, M; Tiezzi, F; Zambonelli, F | |
Fully Abstract Models for Nondeterministic Regular Expressions | 1-gen-1995 | Corradini, F; De Nicola, R; Labella, A | |
Global protocol implementations via attribute-based communication | 1-gen-2015 | De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile